(declare-fun P (Int) Bool)
(assert (P 0))
(check-sat)
(declare-fun P (Int) Bool)
(assert (P 0))
(check-sat)
